app(aigrewrite AIGReWrite.cpp)
#app(galoisparse galoisparse.cpp)
app(galoisparse galoisparse_foreachtest.cpp)
app(gaig galois_aigrefactor.cpp)
